realme 12 Pro vs Redmi Note 13 Pro : batalla de titanes en la gama media telefónica de 2024